Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
71	Timothy Williamson: Publications in reverse chronological order To appear [a] ‘Barcan formulas in second-order logic’, in M. Frauchiger and W.K. Essler (eds.), Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2013-11-04 07:22:20 Analytic philosophers Philosophical logic Epistemologists Justification Formal epistemology Contextualism Modal logic Philosophy of science Truth Philosophy Analytic philosophy Epistemology
72	Complete and Annotated Bibliography of Nino Cocchiarella Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-02-07 03:04:43 Predicate logic Semantics Philosophy of language Ontology Philosophical logic Nino Cocchiarella Philosophy of logic Second-order logic Predicate Logic Mathematical logic Philosophy
73	Complete and Annotated Bibliography of Nino Cocchiarella Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2015-02-16 06:06:00 Predicate logic Semantics Philosophy of language Ontology Philosophical logic Nino Cocchiarella Philosophy of logic Second-order logic Predicate Logic Mathematical logic Philosophy
74	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory
75	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
76	Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:40 Model theory Constructible universe Lambda calculus First-order logic FO Interpretation Curry–Howard correspondence Boolean-valued model Mathematical logic Logic Mathematics
77	CALCULATING AND USING SECOND ORDER ACCURATE SOLUTIONS OF DISCRETE TIME DYNAMIC EQUILIBRIUM MODELS JINILL KIM, SUNGHYUN KIM, ERNST SCHAUMBURG, AND CHRISTOPHER A. SIMS A BSTRACT. We describe an algorithm for calculating se Add to Reading List Source URL: federalreserve.gov Language: English - Date: 2003-12-04 10:47:08 Logic Mathematics Metaphilosophy Model theory Metalogic Structure
78	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-03-31 11:45:06 Predicate logic Model theory Semantics Philosophical logic Second-order logic First-order logic Monad Structure Free variables and bound variables Logic Mathematics Mathematical logic
79	Reverse Mathematics Benedict Eastaugh December 13, 2011 In ordinary mathematical practice, mathematicians prove theorems, reasoning from a fixed1 set of axioms to a logically derivable conclusion. The axioms in play are Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Z notation Formal systems Reverse mathematics Second-order arithmetic Peano axioms Zermelo–Fraenkel set theory Ordinal analysis Logic Mathematical logic Mathematics
80	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic

UPDATE